1. Abstract state machines
پدیدآورنده: Egon Borger, Robert Stork
کتابخانه: كتابخانه دانشگاه صنعتی اروميه (آذربایجان غربی)
موضوع: System design,Computer software- Development,Embedded computer systems
رده :
QA
,
76
.
9
,.
S88B66
,
2003
2. Abstract state machines
پدیدآورنده: / Egon Borger, Robert Stark
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: System design,Computer software -- Development,Embedded computer systems
رده :
QA
76
.
9
.
S88B66
2003
3. Abstract state machines: a method for high-level system design and analysis
پدیدآورنده: Borger, E.)Egon(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، System design,، Computer software-- Development,، Embedded computer systems
رده :
QA
76
.
9
.
S88
.
B66
2003
4. Abstract state machines 2003 : advances in theory and practice ; 10th international workshop, ASM 2003, Taormina, Italy, March 2003 : proceedings
پدیدآورنده: Egon Borger, Angelo Gargantini, Elvinia Riccobene )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory
رده :
QA
76
.
L28
Vol
.
2589
5. Architecture Design and Validation Methods
پدیدآورنده: Egon Börger
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
رده :
QA76
.
9
.
A73
E366
2013
6. Berechenbarkeit, Komplexität, Logik :
پدیدآورنده: Egon Börger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computable functions.,Computational complexity.,Logic, Symbolic and mathematical.
رده :
QA9
.
56
E366
1992
7. Berechenbarkeit, Komplexität, Logik :
پدیدآورنده: Egon Börger
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
8. Berechenbarkeit, Komplexität, Logik :
پدیدآورنده: Egon Börger
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
رده :
QA9
.
56
E366
1986
9. Computability, complexity, logic
پدیدآورنده: Borger, Egon, 6491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computable functions,، Computational complexity,، Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
B6713
10. Computability, complexity, logic
پدیدآورنده: Borger, E.)Egon(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computable functions,، Computational complexity,، Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
B6713
1989
11. Computation theory and logic
پدیدآورنده: Egon Borger )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Machine theory,، Computational complexity,، Rodding, Dieter, 7391-
رده :
QA
76
.
L28
Vol
.
270
12. Computer science Logic : 7th Workshop, CSL'93, Swansea, United Kingdom, September 13 - 17, 1993. Selected papers
پدیدآورنده: Egon Borger, Yuri Gurevich, Karl Meinke, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
832
13. Formal methods for industrial applications : Specifying and programming the steam boiler control
پدیدآورنده: Jean-Raymond Abrial, Egon Borger, Hans Langmaack )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Automatic control -- Data processing ، Steam-boilers
رده :
QA
76
.
L28
Vol
.
1165
14. Formal methods for industrial applications :specifying and programming the steam boiler control
پدیدآورنده: Jean- Raymond Abrial, Egon Borger, Hans Langmaack, eds
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع: Automatic control Data processing ، Steam-boilers
رده :
TJ
288
.
F67
15. Java and the Java Virtual Machine Definition, Verification, Validation
پدیدآورنده: Robert F. Stärk ; Joachim Schmid ; Egon Börger
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: (Produktform)Paperback / softback,(Zielgruppe)Fachpublikum/ Wissenschaft,(Zielgruppe)Research
رده :
QA76
.
73
.
J38
R634
2014
16. Java and the Java virtual machine
پدیدآورنده: / Robert F. Stork, Joachim Schmid, Egon Borger
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Java (Computer program language),Virtual computer systems,Java virtual machine
رده :
QA76
.
73
.
J38
,
S785
2001
17. Java and the Java virtual machine
پدیدآورنده: / Robert F. Stork, Joachim Schmid, Egon Borger
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Java (Computer program language),Virtual computer systems,Java virtual machine
رده :
QA76
.
73
.
J38
,
S785
2001
18. Modeling companion for software practitioners /
پدیدآورنده: Egon Börger, Alexander Raschke.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer software-- Mathematical models.,Computer software-- Mathematical models.,COMPUTERS-- Software Development & Engineering-- General.
رده :
QA76
.
754
19. The classical decision problem
پدیدآورنده: / Egon Borger, Erich Gradel, Yuri Gurevich
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Decidability (Mathematical logic)
رده :
QA
9
.
65
.
B64
1997
20. The classical decision problem
پدیدآورنده: Borger, Egon, 6491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Decidability )Mathematical logic(
رده :
QA
9
.
65
.
B62
